arm: initialise VCPU SCTLR in vcpu_initialise
authorIan Campbell <ian.campbell@citrix.com>
Wed, 6 Mar 2013 08:54:28 +0000 (08:54 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 11 Apr 2013 08:19:09 +0000 (09:19 +0100)
commitc0b352d1980f2dc9c8ab05851d1f4517c8d5a258
tree9d61b63fdc2e3434ca669a4ffd6fb39a3c1a7589
parentb0b42dc9a5d097ad515c749d4d121d839b8d083e
arm: initialise VCPU SCTLR in vcpu_initialise

Ensuring a sane initial starting state for vcpus other than domain 0s.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/arm/domain.c
xen/arch/arm/domain_build.c